1
Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.)
ปี:
2021
ภาษา:
english
ไฟล์:
PDF, 12.99 MB
5.0 / 0
english, 2021
2
Out of the Blue Too

Out of the Blue Too

Ian Cowie, Dim Jones, Chris Long, Cliff Spink
ปี:
2014
ภาษา:
english
ไฟล์:
EPUB, 2.72 MB
0 / 5.0
english, 2014
3
Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2006
ภาษา:
english
ไฟล์:
PDF, 4.94 MB
0 / 0
english, 2006
5
Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B. Jones, Jayadev Misra
ปี:
2021
ภาษา:
english
ไฟล์:
PDF, 12.99 MB
5.0 / 0
english, 2021
6
Communications of the ACM - April 2022

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra
ปี:
2022
ภาษา:
english
ไฟล์:
PDF, 13.35 MB
5.0 / 0
english, 2022
10
Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2009
ภาษา:
english
ไฟล์:
PDF, 5.29 MB
0 / 0
english, 2009
11
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
EPUB, 291 KB
4.0 / 1.0
english, 2020
12
Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)
ปี:
2010
ภาษา:
english
ไฟล์:
PDF, 3.73 MB
0 / 0
english, 2010
13
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
AZW3 , 964 KB
4.0 / 1.0
english, 2020
16
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
EPUB, 291 KB
0 / 0
english, 2020
17
Systematic Software Development Using VDM

Systematic Software Development Using VDM

Cliff B. Jones
ปี:
1990
ภาษา:
english
ไฟล์:
PDF, 969 KB
0 / 5.0
english, 1990
18
The Living History Anthology: Perspectives from ALHFAM

The Living History Anthology: Perspectives from ALHFAM

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst
ปี:
2019
ภาษา:
english
ไฟล์:
EPUB, 2.54 MB
0 / 5.0
english, 2019
20
Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2009
ภาษา:
english
ไฟล์:
PDF, 7.62 MB
0 / 0
english, 2009
21
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
MOBI , 937 KB
0 / 0
english, 2020
22
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
MOBI , 937 KB
4.0 / 0
english, 2020
23
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
FB2 , 1.28 MB
4.0 / 0
english, 2020
24
The Living History Anthology

The Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst,
ปี:
2018
ภาษา:
english
ไฟล์:
PDF, 6.90 MB
0 / 0
english, 2018
25
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
FB2 , 1.28 MB
4.0 / 0
english, 2020
26
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
AZW3 , 964 KB
4.0 / 0
english, 2020
27
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
LIT , 770 KB
4.0 / 0
english, 2020
28
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
LIT , 769 KB
0 / 0
english, 2020
29
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2021
ภาษา:
english
ไฟล์:
PDF, 2.16 MB
0 / 5.0
english, 2021
30
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 2.16 MB
0 / 0
english, 2020
31
Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2009
ภาษา:
english
ไฟล์:
PDF, 7.64 MB
0 / 0
english, 2009
32
The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)
ปี:
1978
ภาษา:
english
ไฟล์:
PDF, 14.97 MB
0 / 0
english, 1978
33
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 2.15 MB
0 / 0
english, 2020
34
Understanding Programming Languages

Understanding Programming Languages

Cliff B. Jones
ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 2.15 MB
0 / 0
english, 2020
35
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Cliff Jones, Ji Wang, Naijun Zhan
ปี:
2018
ภาษา:
english
ไฟล์:
PDF, 9.62 MB
0 / 0
english, 2018
36
Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)
ปี:
2010
ภาษา:
english
ไฟล์:
PDF, 3.96 MB
0 / 0
english, 2010
38
Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2009
ภาษา:
english
ไฟล์:
PDF, 5.20 MB
0 / 0
english, 2009
39
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.)
ปี:
2014
ภาษา:
english
ไฟล์:
PDF, 13.77 MB
0 / 0
english, 2014
40
Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
ปี:
2006
ภาษา:
english
ไฟล์:
PDF, 4.60 MB
0 / 0
english, 2006
41
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones
ปี:
2005
ภาษา:
english
ไฟล์:
PDF, 2.17 MB
0 / 0
english, 2005
42
Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)
ปี:
1996
ภาษา:
english
ไฟล์:
PDF, 5.11 MB
0 / 0
english, 1996
43
The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)
ปี:
1978
ภาษา:
english
ไฟล์:
DJVU, 1.81 MB
0 / 0
english, 1978
46
Proof in VDM: Case Studies

Proof in VDM: Case Studies

John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)
ปี:
1998
ภาษา:
english
ไฟล์:
PDF, 11.02 MB
0 / 0
english, 1998